mechanized相关论文